Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
341	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
342	Genet Program Evolvable Mach:281–286 DOIs10710z EDITORIAL Guest editorial: special issue on biologically inspired music, sound, art and design Add to Reading List Source URL: cdv.dei.uc.pt Language: English - Date: 2014-03-10 13:38:46 Evolutionary algorithms Evolutionary computation Evolution Cybernetics Applied mathematics Artificial intelligence Theoretical computer science Computer art Evolutionary art Evolutionary music Genetic and Evolutionary Computation Conference Genetic algorithm
343	Algorithmic Techniques for Geometric Optimization? Pankaj K. Agarwal1 and Micha Sharir2;3 1 Department of Computer Science Box 90129, Duke University, Durham, NC, USA. Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2012-06-29 03:18:26 Computer science Mathematics Computational complexity theory Analysis of algorithms Combinatorial optimization Theoretical computer science Parametric search Computational geometry Algorithm Time complexity Selection algorithm Bounding sphere
344	IVETTE FUENTES School of Mathematical Sciences, University of Nottingham University Park, NG7 2RD Nottingham, United Kingdom phone: +fax: +E-mail: Add to Reading List Source URL: ivettefuentes.weebly.com Language: English - Date: 2015-01-16 03:26:13 Theoretical computer science Emerging technologies Quantum computing Quantum information Quantum information theory Quantum mechanics Anton Zeilinger Institute for Quantum Computing
345	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning II” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:30:22 Logic Logical truth Mathematical logic Theoretical computer science Model theory Automated theorem proving Logic programming Philosophy of logic Satisfiability Substitution Boolean satisfiability problem
346	The Computational Worldview and the Sciences: a Report on Two Workshops Sanjeev Arora∗ Avrim Blum† Leonard J. Schulman‡ Alistair Sinclair§ Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2007-10-12 19:44:00 Theoretical computer science Science Formal sciences Algorithmic game theory Game theory Theory of computation Emerging technologies Algorithmic Quantum computing Quantum mechanics Quantum information Computational science
347	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2007-04-18 22:48:16 Mathematics Theoretical computer science Theory of computation Structural complexity theory Computability theory Halting problem Mathematical proof Undecidable problem Negation Reductio ad absurdum Reduction Square root of 2
348	fea-mcgeoch.qxp:58 AM Add to Reading List Source URL: www.ams.org Language: English - Date: 2001-02-16 13:50:35 Computational complexity theory Theory of computation Mathematics Complexity classes Analysis of algorithms Graph coloring Theoretical computer science Algorithm NP Time complexity Greedy algorithm P
349	Verification-Cases: Characterizing the Completeness Degree of Incomplete Verification for C Programs Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu Vincent Nimal Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Theoretical computer science Formal methods Systems engineering Software Logic in computer science Software testing Formal verification Functional verification Verification and validation Verification Model checking
350	GECCO 2005: Genetic and Evolutionary Computation COnference A recombination of: 10th Annual Genetic Programming Conference (GPand 14th International Conference on Genetic Algorithms (ICGAJune 25-29, 2005 Add to Reading List Source URL: www.isgec.org Language: English - Date: 2004-06-21 20:41:00 Mathematical optimization Evolutionary computation Evolutionary algorithms Genetic and Evolutionary Computation Conference Applied mathematics Theoretical computer science Cybernetics Numerical analysis Operations research Kalyanmoy Deb Genetic algorithm Multi-objective optimization

UPDATE